\begin{tabbing} (\=SupposeNot) \+ \\[0ex]CollapseTHEN (Auto$\cdot$)$\cdot$ \- \end{tabbing}